definition file - German English Dictionary